Hierarchical Communication Diagrams

Formal modelling languages range from strictly textual ones like process algebra scripts to visual modelling languages based on hierarchical graphs like coloured Petri nets. Approaches equipped with visual modelling capabilities make developing process easier and help users to cope with more complex systems. Alvis is a modelling language that combines possibilities of formal models verification with flexibility and simplicity of practical programming languages. The paper deals with hierarchical communication diagrams - the visual layer of the Alvis modelling language. It provides all necessary information to model system structure with Alvis, to manipulate a model hierarchy and to understand a model semantics. All considered concepts are discussed using illustrative examples

Państwo i społeczeństwo w XXI wieku : harmonizacja europejskiej przestrzeni współpracy w dziedzinie prawa, kultury i turystyki

Słowo wstępne "Poszerzenie Unii Europejskiej w maju 2004 roku różniło się zasadniczo od wcześniejszych. Wymagało bowiem od państw kandydujących nie tylko ogromnego wysiłku dostosowawczego. Daje się ono porównać raczej z początkowym okresem integracji. Wtedy także trzeba było wkroczyć na zupełnie nieznane ścieżki, które stopniowo doprowadziły do jednolitego systemu instytucjonalnego i prawnego, na którym dziś opiera się Wspólnota. Kraje środkowej części naszego kontynentu wchodziły do Unii również z oczekiwaniem, że członkostwo podniesie rangę tych państw na arenie międzynarodowej oraz jednoznacznie określi ich nową pozycję w Europie. Jednoczenie się Europy jest wyrazem głębokiej wspólnoty kulturowej, czerpiącej ze śródziemnomorskich korzeni naszej cywilizacji."(...

Event-based Hexor robot software framework

Tyt. z ekranu tytułowego.Bibliogr.Tryb dostępu: Internet

Modelowanie i analiza systemów wbudowanych z zastosowaniem algebry procesów XCCS rozprawa doktorska /

Tyt. z ekranu tytułowego.Praca doktorska. Akademia Górniczo-Hutnicza im. Stanisława Staszica (Kraków), 2009.Zawiera bibliogr. i indeks.Dostępna także w wersji drukowanej.Tryb dostępu: Internet.Algebry Procesów, historia algebr procesów, Calculus of Communicating Systems, Communicating Sequential Processes, Algebra of Communicating Processes, Language of Temporal Ordering Specification, narzędzia, CADP, Edinburgh Concurrency Workbench, CWB-NC, MOTOR, zastosowania, rachunek elementarny, rozszerzenie czasowe TCCS, rachunek z przesyłaniem danych, równoważność modeli CCS, logika Hennessy-Milnera, warstwa graficzna, algebraiczna, reguły konstruowania modelu, konwersja diagramów XCCS do algebry CCS, eliminacja elementów junction, numerowanie, wyliczanie priorytetów agentów, reetykietowanie połączonych portów, eliminacja niepożądanych połączeń, operatora przeplatania, generacja skryptu CCS, model pięciu filozofów, sygnalizacji świetlnej, czuwak aktywny, algebra XCSS z przesyłaniem danych, deklaracje, modelowanie z wykorzystaniem VP-XCCS, konwersja diagramów XCCS do algebry VP-CCS, producent - konsument, czytelnicy, pisarze, Inez XCCS Editor, architektura programowa, użytkowanie edytora, tworzenie diagramów, agentów, portów, podstawowe operacje edycyjne, tworzenie połączeń, skalowanie diagramu, siatka, okno ustawień, eksport diagramów, menu aplikacji, format danych, modelowanie systemów wbudowanych z wykorzystaniem VP-XCCS na przykładzie robota, robot Hexor, koncepcja systemu sterującego, test modelu, implementacja, gramatyka wyrażeń dla rachunku elementarnego XCCS, z przesyłaniem danyc

The Hexor robot control software

Tyt. z ekranu tytułowego.Bibliogr.Tryb dostępu: Internet

Parameters and methods for evaluation of lignite processing method into biogas

In the article parameters of lignite organic matter conversion into biogas are collated and verified in terms of the process evaluation and control. Possibilities and limitations of usage of the parameters for this type of the process are also indicated. The following parameters were selected: a gas amount and its quality, isotope analysis of the gas produced, measurement of dissolved organic carbon (DOC) in biomass-free liquid media, presence of the VFA (volatile fatty acids) and other possible intermediates of the process in liquid medium, pH, as well as (not discussed in this article) microbiological analyses. On the basis of experiments of Polish lignite biogasification, examples of application of these parameters in laboratory scale for identification of the biodegradation lignite reactions occurrence are presented and discussed. We found that apart from analyses of the biogas produced, the following parameters are also possible to be implemented: DOC, specific surface area of solids measured before and after the process, and the parameters that are normally used for evaluation of rocks’ maturity and origin, i.e. S1, S2 and HI determined from Rock-Eval analysis, as well as GC-MS analysis of EOM (Extractable Organic Matter) separated from lignite. For the analyses of the EOM’s, relatively high amount of solid is required for measurements, limiting its implementation for continuous operations in practice. It was indicated that measurement of elementary coals’ composition, total organic carbon (TOC) in solids or of pH of the liquid are not applicable parameters for verification of the progress of the lignite biogasification process

Wartości Polityczne

Księga jubileuszowa dedykowana profesor Bogusławie Bednarczy